Logic Theorist - PDFSEARCH.IO - Document Search Engine

Logic Theorist
Results: 11

#	Item
1	PROGRAMS WITH COMMON SENSE John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:16:08 Logic Reasoning Logic programming Logical truth Propositional calculus Logical consequence Advice taker Logic Theorist Argument Rule of inference Substitution First-order logic
2	Preface Artiﬁcial Life, unlike artiﬁcal intelligence, had humble beginnings. In the case of the latter, when the word itself was born, the ﬁrst breathtaking results were already out, such as The Logic Theorist, a Add to Reading List Source URL: kampis.web.elte.hu Language: English - Date: 2011-04-07 04:41:11
3	Preface Artiﬁcial Life, unlike artiﬁcal intelligence, had humble beginnings. In the case of the latter, when the word itself was born, the ﬁrst breathtaking results were already out, such as The Logic Theorist, a Add to Reading List Source URL: hps.elte.hu Language: English - Date: 2011-04-07 04:41:11 Robotics Eva Jablonka Inman Harvey Artificial life Science Year of birth missing Evolutionary computation Evolutionary robotics
4	Preproposal 3-January-1969 Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-06 18:18:09 Problem solving Theoretical computer science Artificial intelligence Cellular automata Formal methods Models of computation Cellular automaton Automata theory Logic Theorist Robot
5	Articles Creativity at the Metalevel AAAI-2000 Presidential Address Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-15 21:42:59 Heuristics Mind Creativity Educational psychology Dendral Creative problem solving Logic Theorist Eurisko George Pólya Problem solving Artificial intelligence Science
6	AI4FM AI4FM: Another way to use AI ideas to support formal methods Cliff Jones Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Formal languages Formal systems Logical truth Theoretical computer science Automated theorem proving Mathematical proof Formal proof Logic Theorist Formal methods Logic Mathematics Proof theory
7	Reinventing Education Based on Data and What Works • Since 1955 Carnegie Mellon is reinventing education and the way we think about leveraging technology through its study of the science of learning – an interdiscipl Add to Reading List Source URL: www.cmu.edu Language: English - Date: 2012-12-27 14:46:09 Turing Award laureates Cognitive architecture Carnegie Mellon School of Computer Science Allen Newell Herbert Simon Carnegie Mellon University ACT-R Logic Theorist Cognition Science Cognitive science Artificial intelligence
8	DOCID: [removed]UNCLASSIFIED Time Is . Time Was· Time Is Past Computers for Intelligence BY HOWARD H. CAMPAIGNE Add to Reading List Source URL: www.nsa.gov Language: English - Date: 2011-07-08 11:12:31 Knowledge Alan Turing Philosophy of artificial intelligence Computational neuroscience Marvin Minsky Transhumanists Machine learning Computing Machinery and Intelligence Logic Theorist Science Artificial intelligence Cybernetics
9	Knowledge-Based Systems Announcements Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-11-18 10:52:58 Seymour Papert Perceptron Reasoning system Computer chess Logic Theorist Expert system MicroWorlds AI winter Marvin Minsky Artificial intelligence Science Reasoning
10	John Clifford Shaw Papers, [removed]OVERVIEW OF THE COLLECTION Add to Reading List Source URL: sirismm.si.edu Language: English - Date: 2008-12-19 12:21:01 Turing Award laureates Information Processing Language JOSS JOHNNIAC General Problem Solver Logic Theorist Allen Newell Herbert Simon Keith Uncapher Artificial intelligence Science Computing

UPDATE